<div id="topbar-div" class="topbar-div">
  <nav style="text-align:center">
    <ul>
      <li>
        File
        <ul>
          <li (click)="newFile()">New</li>
          <li (click)="openSafeNL()">Open</li>
          <li (click)="importSafeNL()">Import</li>
          <li (click)="saveSafeNL()">Save</li>
        </ul>
      </li>
      <li (click)="toCCSL()" [class.disable]="!isFileExist">ToCCSL</li>
      <li (click)="safenlCheck()" [class.disable]="!isCCSL">SafeNL Check</li>
      <li (click)="SMTCheck()" [class.disable]="!isCCSL">SMT Check</li>
      <li (click)="minUnsat_smt()" [class.disable]="!smtCheck">Consistency Result
        <!-- Min Unsat -->
        <!-- <ul>
          <li (click)="globalInconsistent()" [class.disable]="!smtCheck">Global Inconsist</li>
          <li (click)="partInconsistent()" [class.disable]="!smtCheck">Part Inconsist</li>
        </ul> -->
      </li>
      <!-- <li>Check
          <ul>
              <li (click)="safenlCheck()" [class.disable]="!isCCSL">SafeNL Layer</li>
              <li (click)="ccslCheck()">CCSL Layer</li> -->
              <!-- <li (click)="ccslCheck()" [class.disable]="!safenlConsistent">CCSL Layer</li> -->
              <!-- <li>SMT
                <ul>
                  <li (click)="SMTCheck()" [class.disable]="!isCCSL">SMT Check</li>
                  <li (click)="minUnsat_smt()" [class.disable]="!smtCheck">Min Unsat</li>
                </ul>
              </li>
              <li (click)="RTCheck()" [class.disable]="!isCCSL">RT-Inconsistent</li> -->
          <!-- </ul>
      </li> -->
      <li>Help</li>
      <li (click) ="login()">Login</li>
    </ul>
  </nav>
  <h4 class="user" *ngIf="userName;else elseOpen1">{{userName}}</h4>
  <ng-template #elseOpen1>
    <h4 class="user">Not Login</h4>
  </ng-template>
  <form>
    <input
      type="file"
      ng2FileSelect
      [uploader]="uploader"
      name="xmlFile"
      id="xmlFile"
      class="openfile"
      webkitdirectory
      (change)="selectedFileOnChanged($event)"
    />
    <!-- <input type="file" id="xmlFile" #picked    class="openfile"  multiple webkitdirectory   (click)="message=''"  (change)="onPicked(picked)"> -->
  </form>
</div>
<!-- <div id="topbar-body"></div> -->
